RecordPattern2.agda:10,6-19
The record type R does not have the fields g
when checking that the pattern record { g = a } has type R
